any subset has the desired addition